1. $i_{1}$ : $\mathbb{N}$
\\[0ex]2. $i_{2}$ : $\mathbb{N}$
\\[0ex]3. $j_{1}$ : $\mathbb{N}$
\\[0ex]4. $j_{2}$ : $\mathbb{N}$
\\[0ex]5. $i_{1}$ $\leq$ $j_{1}$
\\[0ex]6. $i_{2}$ $\leq$ $j_{2}$
\\[0ex]$\vdash$  ($i_{1}$ $\ast$ $i_{2}$) $\leq$ ($j_{1}$ $\ast$ $j_{2}$)